real time operating system examples